Topological Galois theory